Bai Gao's Documents

Bai Gao's Documents

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives

Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives
Read more
Advances in Natural Computation, 2 conf., ICNC 2006

Advances in Natural Computation, 2 conf., ICNC 2006
Read more
Testing and quality assurance for component-based software

Testing and quality assurance for component-based software
Read more
Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology

Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology
Read more
Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
拓扑空间论(Theory of Topological Spaces)

拓扑空间论(Theory of Topological Spaces)
Read more
Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)

Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)
Read more
Diffusion and Reactivity of Solids

Diffusion and Reactivity of Solids
Read more
Templates for the solution of algebraic eigenvalue problems

Templates for the solution of algebraic eigenvalue problems
Read more
Distributed Multiple Description Coding: Principles, Algorithms and Systems

Distributed Multiple Description Coding: Principles, Algorithms and Systems
Read more
Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide

Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide
Read more
Chemometrics From Basics to Wavelet Transform

Chemometrics From Basics to Wavelet Transform
Read more
OS

OS
Read more
Chiral Dynamics 2006: Proceedings of the 5th International Workshop on Chiral Dynamics, Theory and Experiment Durham Chapel Hill, North Carolina, USA 18-22 September 2006

Chiral Dynamics 2006: Proceedings of the 5th International Workshop on Chiral Dynamics, Theory and Experiment Durham Chapel Hill, North Carolina, USA 18-22 September 2006
Read more
Chemometrics: From Basics to Wavelet Transform

Chemometrics: From Basics to Wavelet Transform
Read more
Chemometrics: from basics to wavelet transform

Chemometrics: from basics to wavelet transform
Read more
Design Methods and Applications for Distributed Embedded Systems (IFIP International Federation for Information Processing)

Design Methods and Applications for Distributed Embedded Systems (IFIP International Federation for Information Processing)
Read more
Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings

Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings
Read more
Three major struggles on China's philosophical front, 1949-64

Three major struggles on China's philosophical front, 1949-64
Read more
Earth Science Satellite Remote Sensing

Earth Science Satellite Remote Sensing
Read more
Modelling Molecular Structure and Reactivity in Biological Systems (Special Publications)

Modelling Molecular Structure and Reactivity in Biological Systems (Special Publications)
Read more
Chemometrics: From Basics to Wavelet Transform

Chemometrics: From Basics to Wavelet Transform
Read more
Problems and solutions on optics

Problems and solutions on optics
Read more
Problems and solutions on optics

Problems and solutions on optics
Read more
LAPACK User's Guide

LAPACK User's Guide
Read more
Problems and solutions on optics

Problems and solutions on optics
Read more
LAPACK users' guide

LAPACK users' guide
Read more